PMAN4
SEL@KIT
著者: Yoshiki Kinoshita / 木下 佳樹
  • 研究期間: 2009 - 2010
  • 総文献数: 2
年別の文献数
  • プレプリント
  • 著書
  • 翻訳
  • 学術論文誌(査読付)
  • 国際会議(査読付)
  • 国際会議 (Journal First)
  • 国内会議(査読付)
  • 記事
  • テクニカルレポート
  • 研究会・全国大会等
  • 学位論文
  • 講演等
  • 受賞
  • 特許
カテゴリ別の文献数
研究キーワード
towardshighlevelquerylanguageinterpretationusersviewrelationaldatabasesclusterembeddedformalframeworkloopmodel-basednetworksimulationsystemstesting
文献一覧
2010
研究会・全国大会等

[1] 崔 銀惠, 尾崎 弘幸, 中原 早生, 木下 佳樹, 青木 祐浩, 吉坂 圭一, 三根 博史, 清水 徹, "組込みネットワークシステムの形式モデル指向テストに向けて", ソフトウェア信頼性研究会第6回ワークショップ(FORCE2010)論文集, pp. 4--17, 2010年.

2009
国内会議(査読付)

[1] Eun-Hye Choi and Yoshiki Kinoshita, "Cluster in the Loop Simulation Framework based on Formal Model-based Testing for Embedded Network Systems", Workshop on Simulation based Development of Certified Embedded Systems (SBDCES), October 2009.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

ここのリストで表示される文献は，SEL@KIT在籍者に関連するもののみになります．